Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
61	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
62	CFPS 97 (Call for Papers Submission number 97) Type safety in an extensible data model Submitted by: Smith, Richard Add to Reading List Source URL: fhiso.org Language: English - Date: 2014-03-15 13:40:36 Knowledge representation Fuzzy logic Predicate Predicate logic Propositional calculus Tree Reference C Static single assignment form Logic Mathematical logic Computing
63	Domain Theory in Topical Form Steve Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-02-22 04:56:46 Mathematical logic Science Logic Domain theory Model theory Academia Mathematics Sheaf theory Topos
64	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
65	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Model theory Predicate logic Semantics Lambda calculus Logic in computer science First-order logic Skolem normal form Interpretation Function Logic Mathematical logic Mathematics
66	Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-15 06:16:32 Lambda calculus Computability theory Fixed-point combinator Combinatory logic Sheaf Theoretical computer science Mathematics Applied mathematics
67	GUARDED TRANSFORMATION FOR THE MODAL µ-CALCULUS FLORIAN BRUSE, OLIVER FRIEDMANN, AND MARTIN LANGE Abstract. Guarded normal form requires occurrences of fixpoint variables in a µ-calculus-formula to occur under the scop Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-05-03 12:27:57 Mathematical logic Metalogic Well-formed formula Conjunctive normal form Polynomial Parity Physics Formal languages Logical syntax
68	A Form for Referees in Theoretical Computer Science∗ Ian Parberry† Department of Computer Science & Engineering University of North Texas September 20, 2007 Add to Reading List Source URL: larc.unt.edu Language: English - Date: 2011-05-12 16:09:28 Academic literature Academic publishing Peer review Scientific method Science Computer Pi Mathematical proof Knowledge Mathematics Mathematical logic
69	JMLR: Workshop and Conference Proceedings 34:139–152, 2014 Proceedings of the 12th ICGI Grammatical Inference of some Probabilistic Context-Free Grammars from Positive Data using Minimum Satisfiability Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Grammar Context-free grammar Stochastic context-free grammar Chomsky normal form Formal grammar CYK algorithm LL parser Regular language Grammar induction Formal languages Linguistics Logic
70	Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Control flow Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM For loop C Static single assignment form Computing Software engineering Computer programming

UPDATE